contravariant morphism functor

反变射函子